state_when(e) == state_when(e) 

latex

---

clarification:

w_state_when(w;e)
== state_when(e;e.w-info(w;e);e.w-pred(w;e);i,x. w-s(w; i; 0; x);i.(w-machine(w;i).2).1;e.
== w-eval(w; e);e.w-time(w; e)) 

latex

Definitions	state_when(e), w-info(w;e), w-pred(w;e), s(i;t).x, #$n, t.1, t.2, w-machine(w;i), val(e), x.A(x), time(e)
FDL editor aliases	w_state_when